A Software Process Model Handbook for Incorporating Peoples Capabilities
A Software Process Model Handbook for Incorporating People's Capabilities offers the most advanced approach to date, empirically ...
اقرأ المزيد
Ada 2005 Reference Manual. Language and Standard Libraries
The Ada 2005 Reference Manual incorporates these changes in the overall standard text and thus will replace the former versions ...
اقرأ المزيد
Advances in Design and Specification Languages for Embedded Systems
Advances in Design and Specification Languages for Embedded Systems is the latest contribution to the Chip Design Languages ...
اقرأ المزيد
Automatic Program Development : A Tribute to Robert Paige
This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the ...
اقرأ المزيد
Beginning C
With Beginning C: From Novice to Professional, Fourth Edition, you'll come to understand the fundamentals of the C language ...
اقرأ المزيد
Beginning Rails : From Novice to Professional
Beginning Rails is the practical starting point for anyone wanting to learn how to build dynamic web applications using the ...
اقرأ المزيد
Beginning Spring 2
Beginning Spring 2 is the first Spring–authorized book that takes you through the first steps of using Spring, and requires ...
اقرأ المزيد
Beginning VB 2008 : From Novice to Professional
This book is for anyone who wants to write good Visual Basic 2008 code, even if you have never programmed before. Writing ...
اقرأ المزيد
Compiling ESTEREL
Esterel is based on the simple idea of providing a software language that has a synchronous model of time. That is, the execution ...
اقرأ المزيد
Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...
اقرأ المزيد
Cryptography in C and C++
This book covers everything you need to know to write professional-level cryptographic code. This expanded, improved second ...
اقرأ المزيد
Expert F#
Expert F# is about practical programming in a beautiful language that puts the power and elegance of functional programming ...
اقرأ المزيدExploring C for Microcontrollers
The market is flooded with numbers of good books on Embedded Systems designed especially with the most popular MCS51 family. ...
اقرأ المزيد
Introduction to PHP for Scientists and Engineers : Beyond JavaScript
This text presents key information needed to write your own online science and engineering applications, including reading, ...
اقرأ المزيد
Learn to Tango with D
Learn to Tango with D introduces you to the powerful D language, with special attention given to the Tango software library. ...
اقرأ المزيد
Pro JavaScript Techniques
Pro JavaScript Techniques is the ultimate JavaScript book for the modern web developer. It provides everything you need to ...
اقرأ المزيد
Python Scripting for Computational Science
Numerous readers of the second edition have noti?ed me about misprints and possible improvements of the text and the associated ...
اقرأ المزيد
Value-Range Analysis of C Programs : Towards Proving the Absence of Buffer Overflow Vulnerabilities
The use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...
اقرأ المزيد
Verification, Model Checking, and Abstract Interpretation (vol. # 3385)
The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. ...
اقرأ المزيد
